The definition of set